3

Type-Safe Code Transformations in Haskell

Year:
2007
Language:
english
File:
PDF, 321 KB
english, 2007
10

A type-preserving compiler in Haskell

Year:
2008
Language:
english
File:
PDF, 257 KB
english, 2008
11

Principled scavenging

Year:
2001
Language:
english
File:
PDF, 1.22 MB
english, 2001
17

Inlining as staged computation

Year:
2003
Language:
english
File:
PDF, 254 KB
english, 2003
22

Implementing typed intermediate languages

Year:
1999
Language:
english
File:
PDF, 1.43 MB
english, 1999
39

Valence Transition in Yb Hydrides*

Year:
1989
Language:
english
File:
PDF, 957 KB
english, 1989